Optimal. Leaf size=328 \[ \frac{32768 \sqrt{\pi } b^{15/2} \cos (2 a) \text{FresnelC}\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )}{675675}-\frac{32768 \sqrt{\pi } b^{15/2} \sin (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )}{675675}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}+\frac{2048 b^5 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{128 b^3 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}-\frac{32768 b^7 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{8 b \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{16 b^2}{715 x^{11/6}}-\frac{4096 b^6}{675675 \sqrt{x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.350694, antiderivative size = 328, normalized size of antiderivative = 1., number of steps used = 16, number of rules used = 9, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.5, Rules used = {3416, 3314, 30, 3312, 3306, 3305, 3351, 3304, 3352} \[ \frac{32768 \sqrt{\pi } b^{15/2} \cos (2 a) \text{FresnelC}\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )}{675675}-\frac{32768 \sqrt{\pi } b^{15/2} \sin (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )}{675675}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}+\frac{2048 b^5 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{128 b^3 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}-\frac{32768 b^7 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{8 b \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{16 b^2}{715 x^{11/6}}-\frac{4096 b^6}{675675 \sqrt{x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3416
Rule 3314
Rule 30
Rule 3312
Rule 3306
Rule 3305
Rule 3351
Rule 3304
Rule 3352
Rubi steps
\begin{align*} \int \frac{\cos ^2\left (a+b \sqrt [3]{x}\right )}{x^{7/2}} \, dx &=3 \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{17/2}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}+\frac{1}{65} \left (8 b^2\right ) \operatorname{Subst}\left (\int \frac{1}{x^{13/2}} \, dx,x,\sqrt [3]{x}\right )-\frac{1}{65} \left (16 b^2\right ) \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{13/2}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{16 b^2}{715 x^{11/6}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}-\frac{\left (128 b^4\right ) \operatorname{Subst}\left (\int \frac{1}{x^{9/2}} \, dx,x,\sqrt [3]{x}\right )}{6435}+\frac{\left (256 b^4\right ) \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{9/2}} \, dx,x,\sqrt [3]{x}\right )}{6435}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}+\frac{\left (2048 b^6\right ) \operatorname{Subst}\left (\int \frac{1}{x^{5/2}} \, dx,x,\sqrt [3]{x}\right )}{225225}-\frac{\left (4096 b^6\right ) \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{5/2}} \, dx,x,\sqrt [3]{x}\right )}{225225}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{4096 b^6}{675675 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{32768 b^7 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}-\frac{\left (32768 b^8\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )}{675675}+\frac{\left (65536 b^8\right ) \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )}{675675}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{4096 b^6}{675675 \sqrt{x}}-\frac{65536 b^8 \sqrt [6]{x}}{675675}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{32768 b^7 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}+\frac{\left (65536 b^8\right ) \operatorname{Subst}\left (\int \left (\frac{1}{2 \sqrt{x}}+\frac{\cos (2 a+2 b x)}{2 \sqrt{x}}\right ) \, dx,x,\sqrt [3]{x}\right )}{675675}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{4096 b^6}{675675 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{32768 b^7 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}+\frac{\left (32768 b^8\right ) \operatorname{Subst}\left (\int \frac{\cos (2 a+2 b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )}{675675}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{4096 b^6}{675675 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{32768 b^7 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}+\frac{\left (32768 b^8 \cos (2 a)\right ) \operatorname{Subst}\left (\int \frac{\cos (2 b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )}{675675}-\frac{\left (32768 b^8 \sin (2 a)\right ) \operatorname{Subst}\left (\int \frac{\sin (2 b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )}{675675}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{4096 b^6}{675675 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{32768 b^7 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}+\frac{\left (65536 b^8 \cos (2 a)\right ) \operatorname{Subst}\left (\int \cos \left (2 b x^2\right ) \, dx,x,\sqrt [6]{x}\right )}{675675}-\frac{\left (65536 b^8 \sin (2 a)\right ) \operatorname{Subst}\left (\int \sin \left (2 b x^2\right ) \, dx,x,\sqrt [6]{x}\right )}{675675}\\ &=-\frac{16 b^2}{715 x^{11/6}}+\frac{256 b^4}{45045 x^{7/6}}-\frac{4096 b^6}{675675 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{5 x^{5/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{715 x^{11/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{45045 x^{7/6}}+\frac{8192 b^6 \cos ^2\left (a+b \sqrt [3]{x}\right )}{675675 \sqrt{x}}+\frac{32768 b^{15/2} \sqrt{\pi } \cos (2 a) C\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )}{675675}-\frac{32768 b^{15/2} \sqrt{\pi } S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right ) \sin (2 a)}{675675}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{65 x^{13/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{6435 x^{3/2}}+\frac{2048 b^5 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{225225 x^{5/6}}-\frac{32768 b^7 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{675675 \sqrt [6]{x}}\\ \end{align*}
Mathematica [A] time = 0.375443, size = 249, normalized size = 0.76 \[ \frac{32768 \sqrt{\pi } b^{15/2} x^{5/2} \cos (2 a) \text{FresnelC}\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-32768 \sqrt{\pi } b^{15/2} x^{5/2} \sin (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-16384 b^7 x^{7/3} \sin \left (2 \left (a+b \sqrt [3]{x}\right )\right )+3072 b^5 x^{5/3} \sin \left (2 \left (a+b \sqrt [3]{x}\right )\right )+4096 b^6 x^2 \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )-3840 b^4 x^{4/3} \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )+15120 b^2 x^{2/3} \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )-6720 b^3 x \sin \left (2 \left (a+b \sqrt [3]{x}\right )\right )+41580 b \sqrt [3]{x} \sin \left (2 \left (a+b \sqrt [3]{x}\right )\right )-135135 \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )-135135}{675675 x^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.039, size = 207, normalized size = 0.6 \begin{align*} -{\frac{1}{5}{x}^{-{\frac{5}{2}}}}-{\frac{1}{5}\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{5}{2}}}}-{\frac{4\,b}{5} \left ( -{\frac{1}{13}\sin \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{13}{6}}}}+{\frac{4\,b}{13} \left ( -{\frac{1}{11}\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{11}{6}}}}-{\frac{4\,b}{11} \left ( -{\frac{1}{9}\sin \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{3}{2}}}}+{\frac{4\,b}{9} \left ( -{\frac{1}{7}\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{7}{6}}}}-{\frac{4\,b}{7} \left ( -{\frac{1}{5}\sin \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{5}{6}}}}+{\frac{4\,b}{5} \left ( -{\frac{1}{3}\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){\frac{1}{\sqrt{x}}}}-{\frac{4\,b}{3} \left ( -{\sin \left ( 2\,a+2\,b\sqrt [3]{x} \right ){\frac{1}{\sqrt [6]{x}}}}+2\,\sqrt{b}\sqrt{\pi } \left ( \cos \left ( 2\,a \right ){\it FresnelC} \left ( 2\,{\frac{\sqrt [6]{x}\sqrt{b}}{\sqrt{\pi }}} \right ) -\sin \left ( 2\,a \right ){\it FresnelS} \left ( 2\,{\frac{\sqrt [6]{x}\sqrt{b}}{\sqrt{\pi }}} \right ) \right ) \right ) } \right ) } \right ) } \right ) } \right ) } \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] time = 2.03386, size = 383, normalized size = 1.17 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.26457, size = 581, normalized size = 1.77 \begin{align*} \frac{2 \,{\left (16384 \, \pi b^{7} x^{3} \sqrt{\frac{b}{\pi }} \cos \left (2 \, a\right ) \operatorname{C}\left (2 \, x^{\frac{1}{6}} \sqrt{\frac{b}{\pi }}\right ) - 16384 \, \pi b^{7} x^{3} \sqrt{\frac{b}{\pi }} \operatorname{S}\left (2 \, x^{\frac{1}{6}} \sqrt{\frac{b}{\pi }}\right ) \sin \left (2 \, a\right ) - 2048 \, b^{6} x^{\frac{5}{2}} + 1920 \, b^{4} x^{\frac{11}{6}} - 7560 \, b^{2} x^{\frac{7}{6}} -{\left (3840 \, b^{4} x^{\frac{11}{6}} - 15120 \, b^{2} x^{\frac{7}{6}} -{\left (4096 \, b^{6} x^{2} - 135135\right )} \sqrt{x}\right )} \cos \left (b x^{\frac{1}{3}} + a\right )^{2} + 4 \,{\left (768 \, b^{5} x^{\frac{13}{6}} - 1680 \, b^{3} x^{\frac{3}{2}} -{\left (4096 \, b^{7} x^{2} - 10395 \, b\right )} x^{\frac{5}{6}}\right )} \cos \left (b x^{\frac{1}{3}} + a\right ) \sin \left (b x^{\frac{1}{3}} + a\right )\right )}}{675675 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cos ^{2}{\left (a + b \sqrt [3]{x} \right )}}{x^{\frac{7}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cos \left (b x^{\frac{1}{3}} + a\right )^{2}}{x^{\frac{7}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]